prove the divisibility